Prüfung des spektroskopischen Doppelsterns BD - 1°943 auf Veränderlichkeit

Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität

Um Software verantwortungsbewusst in den Markt zu bringen, muss sie ebenso wie andere Produkte dem Stand der Technik entsprechen. Das zwingt zur Arbeit mit Normen, z.B. der IEC 61508 oder ISO 26262, denn sie repräsentieren diesen Stand der Technik, insbesondere für sicherheitsgerichtete Software. Den Normen gerecht zu werden bedeutet, die für eine Arbeit zutreffenden Normenanforderungen zu iden...

Entwicklung eines internetgestützten Expertensystems zur Prüfung des Anwendungsbereichs urheberrechtlicher Abkommen

zum Vortrag von Dr. Arndt Bohrer [email protected] Entwicklung eines internetgestützten Expertensystems zur Prüfung des Anwendungsbereichs urheberrechtlicher Abkommen In dem Vortrag soll ein juristisches Expertensystem vorgestellt und dessen Entwicklung beschrieben werden. Es handelt sich um ein Expertensystem zur Prüfung des Anwendungsbereichs der urheberrechtlichen Abkommen RBÜ, RA, TRIPS, ...

Auswirkungen des Klimawandels auf die Ertragsvariabilität

This article examines potential climate change impacts on agricultural production at two locations in south-eastern Bavaria. The predicted changes of climatic variables lead to a higher yield variability and therefore increased production risk. Consequently, there is a need for adaptation strategies, especially an improved risk management, which will help farmers to cope with higher yield risks.

Modellbasiertes Testen auf Basis des fundamentalen Testprozesses

Modellbasiertes Testen (MBT) spielt eine immer größere Rolle, um den Testentwurf während eines Testprozesses zu systematisieren. Vorgehensmodelle im Hinblick auf Modellbildung, Testfallspezifikation, Generierung der Testfälle und Testdurchführung sind vorhanden (vgl. [2], [4], [5], [7]). Der fundamentale Testprozess (FTP) von Spillner und Linz [6] bietet eine gesamtheitliche Sicht, von der Plan...

Erzeugung von Modelldaten zur Prüfung von Bildregistrierungstechniken angewandt auf Daten aus der PET und MRT